https://ppt.ir/slide/logic-programming-prolog-11